منابع مشابه
I / Oi / Oi / Oi / O I / Oi / O I / Oi / O I / Oi / Oi / Oi / O
The development of a recent technological product, referred to as Array of Conngurable Logic Cells, promotes many opportunities for research and implementationof digital circuits. These arrays include logic cells whose functions can be dynamically speciied by the user. The paper describes the main characteristics of conngurable cells, and indicates the potential use of these arrays for research...
متن کاملThe IO and OI Hierarchies Revisited
We study languages of λ-terms generated by IO and OI unsafe grammars. These languages can be used to model meaning representations in the formal semantics of natural languages following the tradition of Montague [19]. Using techniques pertaining to the denotational semantics of the simply typed λ-calculus, we show that the emptiness and membership problems for both types of grammars are decidab...
متن کاملIO vs OI in Higher-Order Recursion Schemes
We propose a study of the modes of derivation of higher-order recursion schemes, proving that value trees obtained from schemes using innermost-outermost derivations (IO) are the same as those obtained using unrestricted derivations. Given that higher-order recursion schemes can be used as a model of functional programs, innermost-outermost derivations policy represents a theoretical view point...
متن کاملNoncontiguous I/O Accesses Through MPI-IO
I/O performance remains a weakness of parallel computing systems today. While this weakness is partly attributed to rapid advances in other system components, I/O interfaces available to programmers and the I/O methods supported by file systems have traditionally not matched efficiently with the types of I/O operations that scientific applications perform, particularly noncontiguous accesses. T...
متن کاملIo-lite: a Uniied I/o Buuering and Caching System
This paper presents the design implementation and evaluation of IO Lite a uni ed I O bu ering and caching system for general purpose operating systems IO Lite uni es all bu ering and caching in the system to the extent permitted by the hard ware In particular it allows applications interpro cess communication the lesystem the le cache and the network subsystem to share a single physical copy of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1977
ISSN: 0022-0000
DOI: 10.1016/s0022-0000(77)80034-2